package se.sics.kompics.tutorial.tutorial1.appEPFD;

import se.sics.kompics.PortType;
import se.sics.kompics.tutorial.tutorial1.appEPFD.events.RestoredEvent;
import se.sics.kompics.tutorial.tutorial1.appEPFD.events.SuspectedEvent;

public class Port_EPFD extends PortType {
	{
		indication(RestoredEvent.class);
		indication(SuspectedEvent.class);
	}
}
